Logical Verification 2024
https://github.com/lean-forward/logical_verification_2024
形式検証
についてのメモ．
Lean Forward